Sprite 1984 - 1993/Sprite 1984 - 1993.iso/lib/tex/dvidoc.shar2/doc.pl

Text File | 1988-04-18 | 9.6 KB | 575 lines

(FAMILY UNSPECIFIED)
(FACE F MRR)
(CODINGSCHEME UNSPECIFIED)
(DESIGNSIZE R 10.0)
(COMMENT DOC FONT DERIVED FROM CMTT10)
(COMMENT DESIGNSIZE IS IN POINTS)
(COMMENT OTHER SIZES ARE MULTIPLES OF DESIGNSIZE)
(CHECKSUM O 0)
(SEVENBITSAFEFLAG TRUE)
(FONTDIMEN
   (SLANT R 0.0)
   (SPACE R 0.524996)
   (STRETCH R 1.049991)
   (SHRINK R 0.0)
   (XHEIGHT R 0.430555)
   (QUAD R 0.524996)
   (EXTRASPACE R 0.524996)
   )
(LIGTABLE
   (LABEL O 41)
   (LIG O 140 O 16)
   (STOP)
   (LABEL O 77)
   (LIG O 140 O 17)
   (STOP)
   )
(CHARACTER O 0
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 1
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 2
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 3
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 4
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 5
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 6
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 7
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 10
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 11
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 12
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 13
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 14
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 15
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 16
   (CHARWD R 0.524996)
   (CHARHT R 0.388888)
   (CHARDP R 0.222223)
   )
(CHARACTER O 17
   (CHARWD R 0.524996)
   (CHARHT R 0.388888)
   (CHARDP R 0.222223)
   )
(CHARACTER O 20
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER O 21
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.222223)
   )
(CHARACTER O 22
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 23
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 24
   (CHARWD R 0.524996)
   (CHARHT R 0.565973)
   )
(CHARACTER O 25
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 26
   (CHARWD R 0.524996)
   (CHARHT R 0.565555)
   )
(CHARACTER O 27
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 30
   (CHARWD R 0.524996)
   (CHARDP R 0.194446)
   )
(CHARACTER O 31
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 32
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER O 33
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER O 34
   (CHARWD R 0.524996)
   (CHARHT R 0.541667)
   (CHARDP R 0.111112)
   )
(CHARACTER O 35
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 36
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 37
   (CHARWD R 0.524996)
   (CHARHT R 0.666667)
   (CHARDP R 0.055555)
   )
(CHARACTER O 40
   (CHARWD R 0.524996)
   (CHARHT R 0.219444)
   (CHARDP R 0.111112)
   )
(CHARACTER O 41
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   (COMMENT
      (LIG O 140 O 16)
      )
   )
(CHARACTER O 42
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 43
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 44
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083333)
   )
(CHARACTER O 45
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083333)
   )
(CHARACTER O 46
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 47
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 50
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 51
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 52
   (CHARWD R 0.524996)
   (CHARHT R 0.520834)
   )
(CHARACTER O 53
   (CHARWD R 0.524996)
   (CHARHT R 0.530554)
   (CHARDP R -0.080557)
   )
(CHARACTER O 54
   (CHARWD R 0.524996)
   (CHARHT R 0.125)
   (CHARDP R 0.138888)
   )
(CHARACTER O 55
   (CHARWD R 0.524996)
   (CHARHT R 0.530554)
   (CHARDP R -0.080557)
   )
(CHARACTER O 56
   (CHARWD R 0.524996)
   (CHARHT R 0.125)
   )
(CHARACTER O 57
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER C 0
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 1
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 2
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 3
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 4
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 5
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 6
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 7
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 8
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C 9
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 72
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER O 73
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.138888)
   )
(CHARACTER O 74
   (CHARWD R 0.524996)
   (CHARHT R 0.555555)
   (CHARDP R -0.055555)
   )
(CHARACTER O 75
   (CHARWD R 0.524996)
   (CHARHT R 0.415624)
   (CHARDP R -0.195488)
   )
(CHARACTER O 76
   (CHARWD R 0.524996)
   (CHARHT R 0.555555)
   (CHARDP R -0.055555)
   )
(CHARACTER O 77
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   (COMMENT
      (LIG O 140 O 17)
      )
   )
(CHARACTER O 100
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C A
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C B
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C C
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C D
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C E
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C F
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C G
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C H
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C I
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C J
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C K
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C L
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C M
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C N
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C O
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C P
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C Q
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   (CHARDP R 0.138888)
   )
(CHARACTER C R
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C S
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C T
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C U
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C V
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C W
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C X
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C Y
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C Z
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 133
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 134
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 135
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 136
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 137
   (CHARWD R 0.524996)
   (CHARDP R 0.095136)
   )
(CHARACTER O 140
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C a
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C b
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C c
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C d
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C e
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C f
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C g
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.222223)
   )
(CHARACTER C h
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C i
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C j
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   (CHARDP R 0.222223)
   )
(CHARACTER C k
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C l
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER C m
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C n
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C o
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C p
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.222223)
   )
(CHARACTER C q
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.222223)
   )
(CHARACTER C r
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C s
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C t
   (CHARWD R 0.524996)
   (CHARHT R 0.5535755)
   )
(CHARACTER C u
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C v
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C w
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C x
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER C y
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   (CHARDP R 0.222223)
   )
(CHARACTER C z
   (CHARWD R 0.524996)
   (CHARHT R 0.430555)
   )
(CHARACTER O 173
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 174
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 175
   (CHARWD R 0.524996)
   (CHARHT R 0.694445)
   (CHARDP R 0.083331)
   )
(CHARACTER O 176
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )
(CHARACTER O 177
   (CHARWD R 0.524996)
   (CHARHT R 0.611112)
   )